This paper statistically analyzes the fund applications and funding in formal methods under the National Natural Science Foundation of China (NSFC). Then, it describes and analyzes the major research plan and major projects of NSFC related to formal methods. After that, the work expounds on the content related to formal methods in the 14th Five-Year Plan of NSFC.
